推論 : 因明 (ab)・演繹 (de)・歸納 (in)
推論 (inference)$ T_3\Vdash s_1\supset p_2,$ \frac{s_1}{p_2}(T_3)
$ p_2(s_1)\in T_3
$ \begin{CD}\cdot @>s_1>> \cdot \\ @| @VVT_3V \\ \cdot @>>p_2> \cdot\end{CD}
狀況$ p_2の下でよい$ s_1を見附ける
理論$ T_3の下でよい$ p_2を見附ける
背景$ s_1の下でよい$ T_3を見附ける
議論的な
合理的な